The method has been deprecated because it generally doesn't (and
can't) work. Clarify that by returning an error instead of
apparently doing nothing.
https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2510
(conn, res) => conn.call_finish(res));
}
- ReloadExtension(uuid) {
- let extension = Main.extensionManager.lookup(uuid);
- if (!extension)
- return;
-
- Main.extensionManager.reloadExtension(extension);
+ ReloadExtensionAsync(params, invocation) {
+ invocation.return_error_literal(
+ Gio.DBusError,
+ Gio.DBusError.NOT_SUPPORTED,
+ 'ReloadExtension is deprecated and does not work');
}
CheckForUpdates() {